零知識證明

SP1 zkVM 是通用型零知識虛擬機，支援開發者使用 Rust 撰寫任意程式，並產生可驗證的 ZK 證明，適用於跨鏈、卷軸擴容及 AI 可驗證運算。zkEVM 則專注於以太坊生態相容的證明生成，主要用於鏈上交易與智能合約驗證。兩者在可程式性、驗證效率、去中心化算力與生態整合方面存在顯著差異，開發者可依應用場景選擇最合適的 ZK 基礎設施。

SP1 zkVM 是 Succinct 推出的通用零知識虛擬機（zkVM），允許開發者使用 Rust 編寫程式並自動產生 ZK Proof。其核心流程包括：Rust 程式編譯成 RISC-V 指令、zkVM 執行並產生 Execution Trace、將 Trace 轉換為 STARK 證明、再壓縮為 SNARK Proof，最後提交至鏈上驗證。

Succinct 的 Prover Network 是一個針對零知識證明（ZK Proof）的去中心化算力市場，用於串接 Proof 請求方與全球 Prover 節點。開發者透過提交程式碼與輸入資料啟動 Proof 請求，網路中的 Auctioneer 會依據成本、速度與節點信譽分派任務，接著 Prover 節點於 SP1 zkVM 上執行程式並產生 ZK Proof，最終提交至鏈上驗證與結算。

Succinct 是一款基於以太坊建構的去中心化零知識證明（ZK Proof）網路，目標是為開發者打造可程式化、低進入門檻的 Proof 生成基礎設施。透過其核心元件 SP1 zkVM，開發者能直接以 Rust 等通用程式語言編寫可驗證程式，無需手動設計複雜的 ZK 電路。而 Succinct Prover Network 則藉由開放式的 Prover 市場，將 Proof 請求與全球算力資源串連起來，實現 Proof 的生成、驗證與結算。

Succinct 與 RISC Zero 均提供零知識證明（ZK Proof）基礎設施，但兩者的設計目標截然不同。Succinct 側重於去中心化 Proof 市場與通用驗證層，透過 SP1 zkVM 與 Prover Network 實現跨鏈驗證、卷軸 及 AI 可驗證運算；RISC Zero 則專注於可驗證執行環境與開發者體驗，藉助 RISC-V 架構降低 ZK 應用的開發門檻。兩者在 zkVM 架構、Proof 生成流程、經濟機制、生態定位及適用場景上存有顯著差異。

Nexus 與 zkSync 均屬於零知識證明（ZK）領域的重要項目，但兩者的核心目標存在明顯差異。zkSync 主要是基於 Ethereum 的 zkRollup 擴容方案，著重於提升 Layer2 的交易吞吐量並降低 Gas 成本；Nexus 則更聚焦於可驗證計算（Verifiable Computation）和分布式 proving network，致力於打造支援 AI 及 Verifiable Finance 的 zk 基礎設施。

Verifiable Finance 結合零知識證明（ZK）和可驗證計算（Verifiable Computation），打造出新型鏈上金融架構。其核心目標是在不損及透明性與去中心化的前提下，提升複雜金融系統的驗證效率。與傳統鏈上金融主要著重於資產交易及流動性管理不同，Verifiable Finance 更強調「金融邏輯本身是否具備可驗證性」。

Nexus zkVM 是 Nexus 网络中的零知识虚拟机（Zero-Knowledge Virtual Machine），专门在程序执行后产生对应的零知识证明（zk proof），以实现可验证的计算。与仅负责执行程序的传统虚拟机不同，zkVM 不仅能证明程序确实依照既定逻辑完成运行，并允许其他节点无需重复执行程序即可验证结果。

Nexus（NEX）是一款以零知識證明（ZK）及 zkVM 架構打造的 Layer1 區塊鏈網路，目標在於實現可驗證計算（Verifiable Computation）和可驗證金融（Verifiable Finance）。其核心設計結合模組化 proving network、分散式驗證機制與高效執行層，讓複雜運算能以更低成本於鏈上完成驗證。

ZEROBASE（ZBT）是一項採用零知識證明（ZK）技術的去中心化計算網路，專為鏈上資料處理與隱私計算提供可驗證的基礎設施。隨著區塊鏈應用逐步延伸至資料密集型及合規相關場景，ZEROBASE 能夠支援高效能、低延遲且可驗證的資料處理需求。

隱私智能合約是一種在執行過程中能隱藏數據內容，同時又能保證正確性可驗證的智能合約。Aztec 結合 zkSNARK 零知識證明技術、私有執行環境，以及 Noir 程式語言，實現「可編程隱私」，讓開發者能夠精確掌控哪些數據需公開、哪些應維持私密。這種架構不僅有效解決區塊鏈高度透明所引發的隱私疑慮，也為 DeFi、身份驗證與企業級應用帶來更具實用性的基礎設施。

Zcash、Tornado Cash 與 Aztec 分別代表區塊鏈隱私的三種典型路徑：隱私公鏈、混幣協議，以及隱私 Layer2。Zcash 以 zkSNARK 實現匿名支付，Tornado Cash 透過混幣方式切斷交易關聯，Aztec 則運用 zkRollup 打造可編程的隱私執行環境。三者在技術架構、功能範圍與合規性上各具特色，展現隱私技術從「單點工具」逐步發展為「基礎設施」的趨勢。

Aztec 的網路架構由 Sequencer（排序器）、Prover（證明生成器）以及 Noir 程式設計模型共同組成。Sequencer 負責交易排序與區塊構建，Prover 產生零知識證明以驗證運算正確性，Noir 則是專為隱私應用設計的 zk 程式語言，讓開發者能夠打造「可編程隱私」的智能合約。三者協同運作，使 Aztec 在確保隱私的同時，實現可驗證與高效能執行。

Aztec（AZTEC）是建立於以太坊上的隱私優先 Layer2 網路，採用 zkSNARK 零知識證明技術，打造「可編程隱私」的智能合約執行環境。有別於傳統區塊鏈完全公開的運作模式，Aztec 透過加密交易數據與雙重執行架構（私有執行 + 公共執行），讓用戶在確保安全與可驗證性的同時，得以隱藏敏感資訊。其核心目標在於將隱私功能導入 DeFi、身份、支付等應用場景，推動區塊鏈從「完全透明」進化至「可選擇揭露」的新典範。

作爲業內率先推出儲備金證明的先行者，Gate.com將採用zk-SNARK這種零知識證明技術改進儲備金證明，爲用戶帶來更加卓越的資産安全保護和隱私保護。